More from this Author

Automated Deduction

by Wolfgang Bibel (Editor), P. H. Schmitt (Editor)

Nonmonotonic and Inductive Logic

by J. Dix (Editor), K.P. Jantke (Editor), P. H. Schmitt (Editor)